-
1 условное высказывание
1) General subject: conditional2) Mathematics: conditional statementУниверсальный русско-английский словарь > условное высказывание
-
2 условное высказывание
Русско-английский словарь по электронике > условное высказывание
-
3 условное высказывание
Русско-английский словарь по радиоэлектронике > условное высказывание
-
4 условное высказывание
Русско-английский научно-технический словарь Масловского > условное высказывание
-
5 условное высказывание или его формализованный аналог
Psychology: implicationУниверсальный русско-английский словарь > условное высказывание или его формализованный аналог
-
6 условное высказывание, противоречащее факту
Mathematics: counterfactual conditional, countrary-to-fact conditionalУниверсальный русско-английский словарь > условное высказывание, противоречащее факту
-
7 логические операции
логические операции
С какой-то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как геометрия связана с наукой о пространстве. Одно из основных понятий математической логики — высказывание. Не стремясь к излишней математической строгости, можно сказать, что высказывание — это выражение, относительно которого можно сделать вывод o его истинности или ложности. Например, «Ах!» — это не высказывание, а выражение — «Иван Иванович Иванов ~ телевизор» — высказывание, так как можно утверждать — оно ложно. Знак ~ заменяет здесь слово «эквивалент» и связывает два имени: «Иван Иванович Иванов» и «телевизор». Каждое из этих имен высказыванием не является, тогда как все выражение — высказывание. Над высказываниями можно производить определенные операции. Например, если заданы два высказывания, обозначенные логическими переменными A и B, то можно составить новое высказывание: «A и B». При этом связка «и» заменяется символом ?; тогда запишем «A ? B». Можно также составить выражение «A или B». Связка «или» обозначается с помощью символа v. Можно представить себе высказывание «из A следует B»: «A ==> B». Наконец, можно составить отрицание данного высказывания: «не A». Для операции отрицания используют целый ряд обозначений. ?? v? Например: ? А, ~А, ?. Придадим каждому из высказываний определенное значение истинности. Например, «А» = И, а «В» = Л, т.е. «А — истинно», а «В — ложно», тогда можно рассмотреть истинность перечисленных выше высказываний. Начнем с самого простого — с отрицания: если А — истинно, то «не А — ложно». Наоборот, если «А — ложно», то ?— истинно. Эти очевидные факты могут быть представлены в виде таблицы. Аналогично можно рассмотреть и другие операции. Можно рассмотреть еще одну Л.о. — «А тогда, и только тогда, когда В». Ее можно записать: (А <=> В) ? (А <=> В) ? (В ?А) Рассмотренная выше логика допускает только два значения истинности для высказывания — истинно и ложно, причем высказывание не может быть истинным и ложным одновременно. Поэтому она называется логикой с исключенным третьим. Важную аналогию можно установить, заменив условное обозначение «И» на единицу, а «Л» на нуль. Тогда окажется, что логика аналогична системе действий над двоичными числами, на основе которой работают все компьютеры.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > логические операции
См. также в других словарях:
условное высказывание — сложное высказывание, формулируемое обычно с помощью связки если..., то... и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого. Напр.: Если есть огонь, то есть дым , Если число… … Словарь терминов логики
высказывание контрфактическое — (от лат. contra против, factum событие) сложное высказывание, в котором с помощью союза если бы..., то бы... объединяются два высказывания A и В. В естественном языке ему соответствуют предложения, имеющие форму условно сослагательного наклонения … Словарь терминов логики
условное умозаключение — умозаключение, включающее посылки, представляющие собой условные суждения (см.: Условное высказывание). У. у. может состоять лишь из одной условной посыл ки, может включать кроме условной и другие посылки, не являющиеся условными, а также может… … Словарь терминов логики
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
Троичные функции — Троичной функцией в теории функциональных систем и троичной логике называют функцию типа , где троичное множество, а неотрицательное целое число, которое называют арностью или местностью функции. Элементы множества цифровые… … Википедия
импликация — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции если ..., то ... , с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном… … Словарь терминов логики
основание и следствие — части условного высказывания, устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другого. Условное высказывание обычно формулируется с помощью связки если..., то... . Высказывание,… … Словарь терминов логики
ДОСТАТОЧНОЕ УСЛОВИЕ — А является таким условием для В, если истинно условное высказывание «Если А, то 5». Напр., т.к. условное высказывание «Если число делится на 9, то оно делится на 3» истинно, делимость числа на 9 является Д.у. его делимости на 3. Понятие Д.у.… … Философская энциклопедия
парадоксы импликации — ПАРАДОКСЫ ИМПЛИКАЦИИ (от греч. paradoxos неожиданный, странный и лат. implicatio сплетение, переплетение) (и логического следования) проблемы, решения которых потребовала задача формальной экспликации условной связи и логического… … Энциклопедия эпистемологии и философии науки
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
НЕОБХОДИМОЕ УСЛОВИЕ — В является таким условием для А, если истинно условное высказывание «Если А, то 5». Напр., поскольку условное высказывание «Если ниобий металл, то он электропроводен» истинно, то электропроводность ниобия является Н.у. того, что он металл. То,… … Философская энциклопедия